package pl.edu.mimuw.irs.core.model.analysis.atomic;

import pl.edu.mimuw.irs.core.global.IDManager;
import pl.edu.mimuw.irs.core.model.petrinet.Transition;
import pl.edu.mimuw.irs.core.util.Position;

public class AnalysisTransition extends Transition {

	private static final long serialVersionUID = -6951847746936026175L;
	
	// *** Attributes
	
	private double chance;
	// Getters and setters
	public double getChance() {
		return chance;
	}
	public void setChance(double chance) {
		this.chance = chance;
	}
	
	// *** Constructors

	public AnalysisTransition(IDManager idManager, String prefixedNewId,
			double chance, Position position) {
		super(idManager, prefixedNewId, position);
		this.chance = chance;
	}

	// *** Methods
}
